منابع مشابه
Combinations of Boolean Gröbner Bases and SAT Solvers
In this thesis, we combine Gröbner basis with SAT Solver in different manners. Both SAT solvers and Gröbner basis techniques have their own strength and weakness. Combining them could fix their weakness. The first combination is using Gröbner techniques to learn additional binary clauses for SAT solver from a selection of clauses. This combination is first proposed by Zengler and Küchlin. Howev...
متن کاملExtending Clause Learning of SAT Solvers with Boolean Gröbner Bases
We extend clause learning as performed by most modern SAT Solvers by integrating the computation of Boolean Gröbner bases into the conflict learning process. Instead of learning only one clause per conflict, we compute and learn additional binary clauses from a Gröbner basis of the current conflict. We used the Gröbner basis engine of the logic package Redlog contained in the computer algebra s...
متن کاملMultiplicative Bases, Gröbner Bases, and Right Gröbner Bases
Before surveying the results of the paper, we introduce path algebras. Path algebras play a central role in the representation theory of finite-dimensional algebras (Gabriel, 1980; Auslander et al., 1995; Bardzell, 1997) and the theory of Gröbner bases (Bergman, 1978; Mora, 1986; Farkas et al., 1993) has been an important tool in some results (Feustel et al., 1993; Green and Huang, 1995; Bardze...
متن کاملRegular Gröbner Bases
In Ufnarovski (1989), the concept of automaton algebras is introduced. These are quotients of the non-commutative polynomial ring where the defining ideal allows some Gröbner basis with a regular set of leading words. However, nothing is reflected concerning the whole structure of the Gröbner basis (except of course for monomial algebras). In this paper we introduce the concept of regular Gröbn...
متن کاملComputing inhomogeneous Gröbner bases
In this paper we describe how an idea centered on the concept of self-saturation allows several improvements in the computation of Gröbner bases via Buchberger’s Algorithm. In a nutshell, the idea is to extend the advantages of computing with homogeneous polynomials or vectors to the general case. When the input data are not homogeneous, we use a technique described in Section 2: the main tool ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 2011
ISSN: 0747-7171
DOI: 10.1016/j.jsc.2010.10.011